Do not remove, used for determining the webapp root in Launcher.java